Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
501	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 42, Number 2, Pages 119–135 Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2005-05-05 08:12:24 Algebra Motive Interpretation Representation theory Function Constructible universe Formal power series Motivic integration Equivalence relation Mathematics Abstract algebra Algebraic geometry
502	fea-pillay.qxp[removed] Add to Reading List Source URL: www.ams.org Language: English - Date: 2000-11-14 11:13:29 Mathematics Strongly minimal theory Interpretation Structure Morley rank Definable set Real closed field Differentially closed field Type Model theory Mathematical logic Abstract algebra
503	The Power of Parameterization in Coinductive Proof Chung-Kil Hur Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2012-11-01 02:57:53 Structure Abstract interpretation Galois connection Coinduction Mathematics Order theory Mathematical analysis
504	Galois Connections and Fixed Point Calculus Roland Backhouse∗ October 15, 2001 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-17 06:08:50 Group theory Order theory Field theory Abstract interpretation Galois connection Galois theory Function Differential equation Évariste Galois Mathematics Abstract algebra Algebra
505	Science of Computer Programming Add to Reading List Source URL: galois.squarespace.com Language: English - Date: 2012-11-19 14:07:33 Topology Field theory Algebraic topology Abstract interpretation Galois connection Sheaf Continuous function Algebraic number field Field Abstract algebra Mathematics Order theory
506	PDF Document Add to Reading List Source URL: www.cs.unipr.it Language: English - Date: 2013-08-29 05:40:27 Logic in computer science Data types Formal methods Programming language semantics Type theory Abstract interpretation Operational semantics Programming language Semantics of programming languages Theoretical computer science Programming language theory Software engineering
507	PDF Document Add to Reading List Source URL: subs.emis.de Language: English - Date: 2012-04-16 06:04:40 Polyspace Software testing Formal methods Logic in computer science Formal verification Cross-platform software Software verification Abstract interpretation Programming language Computing Software engineering Programming language theory
508	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:05 Algebraic structures Semigroup Semilattice Lattice Kripke semantics Linear logic Interpretation Monoid Modal logic Mathematics Abstract algebra Logic
509	PDF Document Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2008-08-05 11:56:04 Structure Abstract interpretation Abstraction Partially ordered set Order theory Mathematics Galois connection
510	PDF Document Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-06-15 11:35:57 Software testing Abstract interpretation Symbolic execution Stack Subroutine Code coverage Exception handling Assertion KeY Software engineering Computer programming Computing